<div id="navigation">
<?php
if($action == 'show') {
  echo "show";
} else {
  echo getLink($pagename,'show','show');
}
?>
 | 
<?php
if($action == 'edit') {
  echo "edit";
} else {
  echo getLink($pagename,'edit','edit');
}
?>
 | 
<?php
if($action == 'discuss') {
  echo "discuss";
} else {
  echo getLink($pagename,'discuss','discuss');
}
?>
</div>
